@BOOK{CCS,
   AUTHOR = {R. Milner},
   TITLE = {Communication and Concurrency},
   PUBLISHER = {Prentice-Hall},
   YEAR = {1989},
}

@BOOK{CSP,
   AUTHOR = {C. A. R. Hoare},
   TITLE = {Communicating Sequential Processes},
   PUBLISHER = {Prentice-Hall},
   YEAR = {1985},
}

@InProceedings{CBS,
   Author="K. V. S. Prasad",
   Title="A Calculus of Broadcasting Systems",
   BookTitle="TAPSOFT, Volume 1: CAAP",
   Month="April",
   Year="1991",
   Publisher="Springer Verlag LNCS",
   Volume="493",
   URL="http://www.cs.chalmers.se/~prasad/caap91.html",
}

@book{MSC,
   author = {ITU-TS},
   address = {Geneva},
   month = {September},
   publisher = {ITU-TS},
   title = {ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)},
   year = {1993}
}

@MASTERSTHESIS{DP,
   author = "David {\v{S}}afr\'anek",
   title = "Graphical specification of concurrent systems (in Czech)",
   school = "Masaryk University, Brno",
   year = "2001",
}

@inproceedings{SGCCS,
   title = {{SGCCS: A Graphical Language for Real-Time Coordination}},
   author = "David {\v{S}}afr\'anek",
   booktitle = {Proceedings of International Workshop on Foundations of Coordination Languages and Software Architectures},
   publisher = {LNCS},
   volume = {68.3},
   year = {{2002}},   
}

@techreport{UML,
         author = {D.H. Akehurst and A.G. Waters},
         title = {{UML Specification of Distributed System Environments}},
         month = {May},
         year = {1999},
         pages = {},
         keywords = {{UML}, distributed systems, {PERMABASE}},
         note = {},
         url = {http://www.cs.ukc.ac.uk/pubs/1999/901},
         institution = {UKC},
         number = {18-99},
         } 

@INPROCEEDINGS{Smolka,
   AUTHOR = {R. Cleaveland and X. Du and S. A. Smolka},
   TITLE = {{GCCS: A Graphical Coordination Language for System Specification}},
   BOOKTITLE = {Proceedings of Fourth International Conference on Coordination Models and Languages},
   PUBLISHER = {LNCS, Springer Verlag},
   YEAR = {2000},
}   

@INPROCEEDINGS{ASE,
   AUTHOR = "David {\v{S}}afr\'anek",
   TITLE = {{Visual Specification of Concurrent Systems}},
   BOOKTITLE = {Proceedings of 18th IEEE International Conference on Automated Software Engineering},
   PUBLISHER = {IEEE Computer Society},
   YEAR = {2003},
}   

@MISC{TEZE,
   AUTHOR = "David {\v{S}}afr\'anek",
   TITLE = "Graphical Specification of Concurrent Systems",
   HOWPUBLISHED = "PhD Thesis Proposal, Masaryk University Brno",
   YEAR = "2003",
}

@PHDTHESIS{GCSR,
   AUTHOR = {H.B. Abdallah},
   TITLE = {{Graphical Communicating Shared Resources}},
   SCHOOL = {University Of Pennsylvania},
   YEAR = {1996},
}

@BOOK{compo,
    title = "Component-Based Software Engineering: Putting the Pieces Together",
    author = "George T. Heineman and William T. Councill",
    publisher = "Addison Wesley",
    year = "2001",
}

@TECHREPORT{Ha87,
    author = "David Harel",
    title = {{Statecharts: A Visual Formalism for Complex Systems}},
    institution = "The Weizmann Institute",
    year = "1987",
}

@INPROCEEDINGS{VISIFOLD,
    author = "P. Bouvry and F. Arbab",
    title = {{Visifold: A Visual Environment for a Coordination 
Language}},
    booktitle = "Coordination Languages and Models",
    year = "1996",
    publisher = "Springer-Verlag",
}

@inproceedings{AutoFOCUS,
    author = "Franz Huber and S. Molterer and Andreas Rausch and Bernhard Schatz and Marc Sihling and Oscar Slotosch",
    title = "Tool Supported Specification and Simulation of Distributed Systems",
    booktitle = "{PDSE}",
    pages = "155-",
    year = "1998",
    url = "citeseer.ist.psu.edu/huber98tool.html" }
    
@INPROCEEDINGS{ARGOS,
    AUTHOR = {F. Maraninchi},
    TITLE = {The Argos language: Graphical Representation of Automata and
    Description of Reactive Systems},
    BOOKTITLE = {IEEE Workshop on Visual Languages},
    ADRESS = {Kobe, Japan},
    MONTH = {oct},
    YEAR = {1991}
}    